Expansions of O-minimal Structures on the Real Field by Trajectories of Linear Vector Fields

نویسنده

  • CHRIS MILLER
چکیده

Let R be an o-minimal expansion of the field of real numbers that defines nontrivial arcs of both the sine and exponential functions. Let G be a collection of images of solutions on intervals to differential equations y′ = F (y), where F ranges over all R-linear transformations R → R. Then either the expansion of R by the elements of G is as well behaved relative to R as one could reasonably hope for, or it defines the set of all integers Z, and thus is as complicated as possible. In particular, if R defines any irrational power functions, then the expansion of R by the elements of G either is o-minimal or defines Z.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A TRICHOTOMY FOR EXPANSIONS OF Ran BY TRAJECTORIES OF ANALYTIC PLANAR VECTOR FIELDS

Caveat. This note has become seriously out of date due, among other things, to recent work by Philipp Hieronymi [Defining the set of integers in expansions of the real field by a closed discrete set. Proc. Amer. Math. Soc. 138 (2010), no. 6, 21632168. MR2596055]. In particular, the paragraph after the proof of Corollary 4 should be struck. Rather than update this particular note, we are are act...

متن کامل

A question of van den Dries and a theorem of Lipshitz and Robinson; not everything is standard

We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbe...

متن کامل

On the real quadratic fields with certain continued fraction expansions and fundamental units

The purpose of this paper is to investigate the real quadratic number fields $Q(sqrt{d})$ which contain the specific form of the continued fractions expansions of integral basis element  where $dequiv 2,3( mod  4)$ is a square free positive integer. Besides, the present paper deals with determining the fundamental unit$$epsilon _{d}=left(t_d+u_dsqrt{d}right) 2left.right > 1$$and  $n_d$ and $m_d...

متن کامل

Towards a Model Theory for Transseries

The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field, and report on our efforts to understand its first-order theory.

متن کامل

Strongly minimal expansions of (C,+) definable in o-minimal fields

We characterize those functions f : C → C definable in o-minimal expansions of the reals for which the structure (C,+, f) is strongly minimal: such functions must be complex constructible, possibly after conjugating by a real matrix. In particular we prove a special case of the Zilber Dichotomy: an algebraically closed field is definable in certain strongly minimal structures which are definabl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010